Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
81	International Conference Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification June 28-30, 2016 Espace du Centenaire, Maison de la RATP Paris, France Add to Reading List Source URL: conferences.ncl.ac.uk Language: English - Date: 2016-03-07 04:22:54 Engineering Evaluation Pharmaceutical industry Validity Software quality Quality Reliability engineering Survival analysis Systems engineering Computer security Verification and validation Validation
82	A formally verified compiler for critical embedded software Xavier Leroy INRIA Paris-Rocquencourt LCTES, Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2008-06-25 07:48:56 Software Computing Formal methods Logic in computer science Compiler construction Compilers Functional languages CompCert Compiler Xavier Leroy Formal verification Compiler correctness
83	Aaron Turon Research Statement My research lies broadly in the areas of programming languages and verification, with the goal of building reliable software systems. I am drawn to software components that are usually cha Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-12-03 05:32:06 Computing Concurrency control Software Software transactional memory Non-blocking algorithm Lock Parallel computing Concurrency Concurrent data structure Separation logic Thread Concurrent computing
84	Trust in programming tools: the formal verification of compilers and static analysers Xavier Leroy Inria Paris Verified trustworthy software systems, April 2016 Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2016-04-05 14:57:15 Software Computing Real-time computing Worst-case execution time Simulink French Institute for Research in Computer Science and Automation Xavier Leroy AbsInt
85	Making Model-Driven Verification Practical and Scalable: Experiences and Lessons Learned Lionel Briand IEEE Fellow, FNR PEARL Chair Interdisciplinary Centre for ICT Security, Reliability, and Trust (SnT) Add to Reading List Source URL: sdl-forum.org Language: English - Date: 2014-10-14 21:11:07 Engineering Software engineering Unified Modeling Language Software testing Software Software quality Systems engineering Pharmaceutical industry Verification and validation Model-based testing Profile Simulink
86	NSQ-160 Version 0 JuneCORRESPONDENCE MATRIX NSQ-100 vs 10 CFR 50 Appendix B Add to Reading List Source URL: www.nqsa.org Language: English - Date: 2014-07-07 10:11:39 Evaluation Quality management Quality Business Pharmaceutical industry Systems engineering Validity Quality management system Validation Verification and validation Requirement Software verification and validation
87	InspectRTCM The InspectRTCM software allows content analysis and verification of different GNSS real-time data streams. The data formats currently supported are: RTCM 2.x, RTCM 3.x, CMR and CMR+. The InspectRTCM tool sh Add to Reading List Source URL: www.alberding.eu Language: English - Date: 2016-07-28 05:09:40 Global Positioning System Networked Transport of RTCM via Internet Protocol Computing Computer networking Caster Proxy server Technology
88	Using C Language Extensions for Developing Embedded Software: A Case Study Markus Voelter Arie van Deursen Add to Reading List Source URL: mbeddr.com Language: English - Date: 2016-08-09 05:22:44 Software engineering Computing Software Embedded system Unit testing Formal verification Interrupt Actor model Operating system Component-based software engineering C Real-time operating system
89	Model based approach to verification of higher-order programs (Invited Talk) Igor Walukiewicz CNRS Bordeaux University, France Add to Reading List Source URL: refal.botik.ru Language: English - Date: 2016-03-08 11:18:53 Distributed computing Safety Liveness Computing Formal methods Software engineering Concurrency Logic in computer science
90	Combining CSP and B for Specification and Property Verification⋆ Michael Butler1 and Michael Leuschel1,2 1 2 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-11-21 11:00:56 Software engineering Theoretical computer science Computing Concurrent computing Constraint programming Models of computation Model checkers Process calculus Michael Butler Model checking FDR Denotational semantics